1. CAD accelerators: proceedings of the International workshop on Hard Ware Accelertors for CAD,Oxford university,September 20-21,1991
پدیدآورنده : edited by Tony Amber, Prathima Agrawal, Will More
موضوع : Microprocessors - Design and construction -- congresses,Computer aided design -- Equipment and supplies -- congresses,Integrated circuits--Very large scale integration - Design and construction -- data processing -- congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991
پدیدآورنده : Edited by Paolo Prinetto, Paolo Camurati
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)
موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses
رده :
TK
7874
.
A3353
1991
3. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
4. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
